div#top, div.header, div.contents {
    margin-left: auto;
    margin-right: auto;
    width: 960px;
}

.footer {
    display: none;
}

dl.todo dt::before {
    content: '🚧 ';
}

span.todo::before {
    content: '🚧 ';
}

/* Append external links with a distinctive icon */
a[href^="http://"]::after,
a[href^="https://"]::after
{
    content: "";
    width: 11px;
    height: 11px;
    margin-left: 4px;
    /* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='currentColor' class='bi bi-box-arrow-up-right' viewBox='0 0 16 16'%3E%3Cpath fill-rule='evenodd' d='M8.636 3.5a.5.5 0 0 0-.5-.5H1.5A1.5 1.5 0 0 0 0 4.5v10A1.5 1.5 0 0 0 1.5 16h10a1.5 1.5 0 0 0 1.5-1.5V7.864a.5.5 0 0 0-1 0V14.5a.5.5 0 0 1-.5.5h-10a.5.5 0 0 1-.5-.5v-10a.5.5 0 0 1 .5-.5h6.636a.5.5 0 0 0 .5-.5z'/%3E%3Cpath fill-rule='evenodd' d='M16 .5a.5.5 0 0 0-.5-.5h-5a.5.5 0 0 0 0 1h3.793L6.146 9.146a.5.5 0 1 0 .708.708L15 1.707V5.5a.5.5 0 0 0 1 0v-5z'/%3E%3C/svg%3E");
    background-position: center;
    background-repeat: no-repeat;
    background-size: contain;
    display: inline-block;
}

/*******************************************************************************
 * Error index
 ******************************************************************************/

div.example-container {
    display: flex;
    flex-flow: row wrap;
    justify-content: space-between;
    gap: 1em;
}

div.example {
    flex-grow: 1;
    overflow-x: auto;
    margin-top: 1em;
}

div.example-inner {
    height: 100%;
    display: flex;
    flex-direction: column;
}

div.example-title {
    padding: 0 0 1em 0;
    font-style: italic;
}
